Applications of the TAMPR Transformation System
نویسندگان
چکیده
In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully automatic, rewrite-rule based program transformation system. From its initial implementation in 1970, TAMPR has evolved into a powerful tool for generating correct and efficient programs from specifications. The specification and transformation community has long claimed that program transformation and specification provides a powerful, labour-saving means of developing efficient and correct programs. What is the evidence for this statement? We present experience with using TAMPR transformation in applications which range from efficient implementation of numerical mathematical algorithms to inter-language transformation and the Year 2000 problem.
منابع مشابه
The TAMPR Program Transformation System: Design and Applications
TAMPR is a fully automatic, rewrite-rule based program transformation system. From its initial implementation in 1970, TAMPR has evolved into a powerful tool for generating correct and eecient programs from speciications. The TAMPR approach to program transformation is distinguished by A restricted repertoire of constructs for expressing transformations; A declarative semantics for transformati...
متن کاملProving refinement transformations for deriving high-assurance software
The construction of a high-assurance system requires some evidence, ideally a proof, that the system as implemented will behave as required. Direct proofs of implementations do not scale up well as systems become more complex and therefore are of limited value. In recent years, refinement-based approaches have been investigated as a means to manage the complexity inherent in the verification pr...
متن کاملEarth’s Magnetic Field for Spacecraft Attitude Control Applications (TECHNICAL NOTE)
In this paper the earth’s magnetic field is simulated precisely while the intensity and direction of the field are verified with one of the standard references for selected points on the earth and the results are compared with some low-order models. In another simulation, the complete model is compared with a common approximate model. The magnetic field in orbital frame is described and to empl...
متن کاملComparison of Shariati hospital performance in Tehran before and after the health system transformation plan using a dynamic multi-attribute decision-making method
Abstract: Background: Iranian Health system Transformation plan has been implemented since 2014 with the aim of financial protection of people, equity establishment in access to health services and quality improvement of hospital services. Hospital performance evaluation is essential in order to monitor the health system transformation plan. One of the tools for evaluating hospital performance...
متن کاملAnalysis of Effective Components of Educational Transformation in Agricultural Higher Education System in Iran
The purpose of the present study was to analyze the effective components of educational transformation in agricultural higher education system in Iran by a mixed study method. The statistical population includes all faculty members (N=361) teaching in agricultural college of Tehran, Tarbiat Modares and Shiraz University, and a sample of 186 faculty members (n=186) were selected by stratified ra...
متن کامل